graph theory:spanning tree